Governance checklist:
 - Roles on arrows only (L1/L2/L3 as arrow roles).
 - No curves/pivots/UGM as weights; diagnostics only.
 - No‑skip composition (long moves factor neighbour by neighbour).
 - Gates are feasibility, not weights: Theta (act window), kappa (minimal outward part).
 - Fit rule Φ(W,Q)=0 via lexicographic order: gates → minimize d_out → then d_in → then d_×; tie = fewest acts; seed only after feasibility.
 - Ledger is diagnostic only; never fed back into fit/gates/bounds.
 - Canonical units & invariant mapping c (we use c=1 unless overridden).

Ledger residuals (Frobenius): {0.0: 0.0, 0.25: 0.0, 0.5: 0.0, 0.75: 0.0, 0.9: 0.0}
Ledger threshold: 1.0e-12, green: True
Dilation slope vs theory: slope=1.000000000000, slope_error=1.110e-16, RMSE_rel=2.527e-16, max_rel_err=3.871e-16, accept=True
Cone boundary error: 0.000e+00, accept=True
Re‑centering (+137) invariance: True
No‑skip factorization: True
Homeostatic run γ_meas=2.208569